منابع مشابه
Algebraic Meta-Theory of Processes with Data
There exists a rich literature of rule formats guaranteeing different algebraic properties for formalisms with a Structural Operational Semantics (SOS). Moreover, there exist a few approaches for automatically deriving axiomatizations characterizing strong bisimilarity of processes. To our knowledge, this literature has never been extended to the setting with data (e.g. to model storage and mem...
متن کاملAn Algebraic Theory of Epistemic Processes
In the past few years, several process-algebraic frameworks have been proposed that incorporate the notion of epistemic knowledge. These frameworks allow for reasoning about knowledge-related properties, such as anonymity, secrecy and authentication, in the operational specifications given in process-algebraic languages. Hitherto, no sound and (ground-)complete axiomatization has been given for...
متن کاملTowards an Algebraic Theory of Typed Mobile Processes
The impact of types on the algebraic theory of the π-calculus is studied. The type system has capability types. They allow one to distinguish between the ability to read from a channel, to write to a channel, and both to read and to write. They also give rise to a natural and powerful subtyping relation. Two variants of typed bisimilarity are considered, both in their late and in their early ve...
متن کاملAn algebraic calculation method for describing time-dependent processes in electrochemistry – Expansion of existing procedures
In this paper an alternative model allowing the extension of the Debye-Hückel Theory (DHT) considering time dependence explicitly is presented. From the Electro-Quasistatic approach (EQS) introduced in earlier studies time dependent potentials are suitable to describe several phenomena especially conducting media as well as the behaviour of charged particles (ions) in electrolytes. This leads t...
متن کاملAlgebraic Markov Decision Processes
In this paper, we provide an algebraic approach to Markov Decision Processes (MDPs), which allows a unified treatment of MDPs and includes many existing models (quantitative or qualitative) as particular cases. In algebraic MDPs, rewards are expressed in a semiring structure, uncertainty is represented by a decomposable plausibility measure valued on a second semiring structure, and preferences...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 1989
ISSN: 0167-6423
DOI: 10.1016/0167-6423(89)90044-0